Céline Decruynaere's Documents

Céline Decruynaere's Documents

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Read more
Tanks for the Memories: Floatation Tank Talks (Consciousness Classics)

Tanks for the Memories: Floatation Tank Talks (Consciousness Classics)
Read more
Nonholonomic Motion of Rigid Mechanical Systems from a DAE Viewpoint

Nonholonomic Motion of Rigid Mechanical Systems from a DAE Viewpoint
Read more
Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software

Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software
Read more
Abdominal Stomas and Their Skin Disorders: An Atlas of Diagnosis and Management

Abdominal Stomas and Their Skin Disorders: An Atlas of Diagnosis and Management
Read more
The Biology of Disease Vectors html

The Biology of Disease Vectors html
Read more
Climate Change in Contrasting River Basins: Adaptation Strategies for Water, Food and Environment (Cabi Publishing)

Climate Change in Contrasting River Basins: Adaptation Strategies for Water, Food and Environment (Cabi Publishing)
Read more
Reflexive Practice: Professional Thinking for a Turbulent World

Reflexive Practice: Professional Thinking for a Turbulent World
Read more
Handbook of Mammals of the North-Central States

Handbook of Mammals of the North-Central States
Read more
Children of the Plains

Children of the Plains
Read more
Detection theory: a user's guide

Detection theory: a user's guide
Read more
Wintrobe's Atlas of Clinical Hematology, 2006

Wintrobe's Atlas of Clinical Hematology, 2006
Read more
The Finite Element Method for Solid and Structural Mechanics, Sixth Edition

The Finite Element Method for Solid and Structural Mechanics, Sixth Edition
Read more
Obsessive Compulsive Disorder. Current Understanding and Future Directions

Obsessive Compulsive Disorder. Current Understanding and Future Directions
Read more
Applied Epidemiology. Theory to Practice

Applied Epidemiology. Theory to Practice
Read more
The Kinetochore:: From Molecular Discoveries to Cancer Therapy

The Kinetochore:: From Molecular Discoveries to Cancer Therapy
Read more
The People of the Eye: Deaf Ethnicity and Ancestry (Perspectives on Deafness)

The People of the Eye: Deaf Ethnicity and Ancestry (Perspectives on Deafness)
Read more
Handbook of Pattern Recognition and Computer Vision, Third Edition

Handbook of Pattern Recognition and Computer Vision, Third Edition
Read more
Lagrangian Probability Distributions

Lagrangian Probability Distributions
Read more
Advances in Carbohydrate Chemistry, Volume 8

Advances in Carbohydrate Chemistry, Volume 8
Read more
Reconsidering retirement: how losses and layoffs affect older workers

Reconsidering retirement: how losses and layoffs affect older workers
Read more
Qualitative Theory of Planar Differential Systems

Qualitative Theory of Planar Differential Systems
Read more
Modelling Autonomic Communications Environments: Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009, Proceedings ... Networks and Telecommunications)

Modelling Autonomic Communications Environments: Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009, Proceedings ... Networks and Telecommunications)
Read more
The Undead World of Oz: L. Frank Baum's The Wonderful Wizard of Oz Complete with Zombies and Monsters

The Undead World of Oz: L. Frank Baum's The Wonderful Wizard of Oz Complete with Zombies and Monsters
Read more
The Lost Girls: Three Friends. Four Continents. One Unconventional Detour Around the World

The Lost Girls: Three Friends. Four Continents. One Unconventional Detour Around the World
Read more
Higher Education: Handbook of Theory and Research, Volume XIII (Vol.13)

Higher Education: Handbook of Theory and Research, Volume XIII (Vol.13)
Read more
Wine Microbiology: Practical Applications and Procedures

Wine Microbiology: Practical Applications and Procedures
Read more
Combinatorics of train tracks

Combinatorics of train tracks
Read more
Advances in Meshfree Techniques

Advances in Meshfree Techniques
Read more
Biointerface Characterization by Advanced IR Spectroscopy

Biointerface Characterization by Advanced IR Spectroscopy
Read more